Development of Parsing Tools for CASL Using Generic Language Technology
نویسندگان
چکیده
An environment for the Common Algebraic Speci cation Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic speci cation formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-de ned syntax which is non-trivial to process: ASF+SDF o ers a powerful parsing technology (Generalized LR). Its interactive development environment facilitates rapid prototyping complemented by early detection and correction of errors. A number of core technologies developed for the ASF+SDF Meta-Environment can be reused in the context of CASL. Furthermore, an instantiation of a generic format developed for the representation of ASF+SDF speci cations and terms provides a CASL-speci c exchange format. 1999 ACM Computing Classi cation System: D.2.6, D.2.m, D.3.1, D.3.4, E.1
منابع مشابه
CASL: From Semantics to Tools
CASL, the common algebraic speciication language, has been developed as a language that subsumes many previous algebraic spec-iication frameworks and also provides tool interoperability. CASL is a complex language with a complete formal semantics. It is therefore a challenge to build good tools for CASL. In this work, we present and discuss the Bremen HOL-CASL system, which provides parsing, st...
متن کاملAn improved joint model: POS tagging and dependency parsing
Dependency parsing is a way of syntactic parsing and a natural language that automatically analyzes the dependency structure of sentences, and the input for each sentence creates a dependency graph. Part-Of-Speech (POS) tagging is a prerequisite for dependency parsing. Generally, dependency parsers do the POS tagging task along with dependency parsing in a pipeline mode. Unfortunately, in pipel...
متن کاملH ETS User Guide – Version 0 . 85 –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملH ETS User Guide –
The Heterogeneous Tool Set (HETS) is the main analysis tool for the specification language heterogeneous CASL. Heterogeneous CASL (HETCASL) combines the specification language CASL [6, 28] with CASL extensions and sublanguages, as well as completely different logics and even programming languages such as Haskell. HETCASL (see Fig. 1 for a simple subset) extends the structuring mechanisms of CAS...
متن کاملCasl the Common Algebraic Speciication Language 1
Casl is an expressive language for the formal speciication of functional requirements and modular design of software. It has been designed by CoFI, the international Common Framework Initiative for algebraic speciication and development. It is based on a critical selection of features that have already been explored in various contexts, including subsorts, partial functions, rst-order logic, an...
متن کامل